Don't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic

This paper addresses the problem of generating logic don’t cares in minimizing an Extended Finite State Machines (EFSMs). EFSMs have been proposed to model control oriented systems. A version of this, with the data portion modeled by Presburger arithmetic, has been used in formal verification. A structural representation of such EFSMs and an optimization scheme using multi-valued logic is proposed in this paper. It consists of new methods to transfer don’t cares through the data-path and to generate logic don’t cares from the data path. Potential applications are discussed and preliminary results validate the scheme on some reasonable examples.